Towards a Formal Model of Consistency in ODP
نویسندگان
چکیده
The ODP Open Distributed Processing development model is a natural progression from OSI Multiple viewpoints are used to specify complex ODP systems The conformance assessment methodology for ODP de nes the relationships between speci cations and imple mentations that must be proved in order that conformance to ODP systems can be asserted These relationships include transformation re nement conformance and consistency This paper develops a formal interpretation of these concepts In particular the paper de nes a framework for checking the consistency of di erent speci cations of the same ODP system This framework is essential if FDT s are to be successfully employed in the development of ODP systems In the second part of the paper we present examples of consistency checking in both LOTOS and RAISE
منابع مشابه
Fdts for Odp
This paper discusses the use and integration of formal techniques into the Open Distributed Processing ODP standardization initiative The ODP reference model is a natural progression from OSI Multiple viewpoints are used to specify complex ODP systems Formal methods are playing an increasing role within ODP We provide an overview of the ODP reference model before discussing the ODP require ment...
متن کاملModelling Distributed Systems Using
The ODP development model is a natural progression from OSI. Multiple viewpoints are used to specify complex ODP systems. Formal methods are playing an increasing role within ODP. There are two technical problems concerning the use of formal techniques within ODP which have yet to be addressed: these are uniication and consistency checking. We show how Z can be used to provide a solution for bo...
متن کاملFrom ODP viewpoint consistency to Integrated Formal Methods
Questions asked by research into ODP Viewpoint Consistency led to fundamental questions in refinement and contributed greatly to insights and interest in Integrated Formal Methods; research in those areas is still ongoing, while the answers provided remain largely unincorporated into model driven development. In this paper we survey some of the work done on consistency checking for multiple vie...
متن کاملMaintaining Cross Viewpoint Consistency using Z
This paper discusses the use and integration of formal techniques in particular Z into the Open Distributed Processing ODP standardization initiative One of the cornerstones of the ODP framework is a model of multiple viewpoints During the development process it is important to maintain the consistency of di erent viewpoints of the same ODP speci cation In addition there must be some way to com...
متن کاملMaintaining Cross Viewpoint Consistency using ZJohn
This paper discusses the use and integration of formal techniques, in particular Z, into the Open Distributed Processing (ODP) standardization initiative. One of the cornerstones of the ODP framework is a model of multiple viewpoints. During the development process it is important to maintain the consistency of diierent viewpoints of the same ODP speciication. In addition, there must be some wa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009